Section: Partnerships and Cooperations

European Initiatives

FP7 & H2020 Projects

• ENVISAGE (Engineering Virtualized Services) is a EU FP7 project, with starting date October 1st, 2013, and with a 3-year duration. The project is about model-based development of virtualized services, including tool support for resource analysis. Most Focus members are involved.

Collaborations in European Programs, except FP7

• The ICT COST Action BETTY (Behavioural Types for Reliable Large-Scale Software Systems), initiated in October 2012 and with a four-year duration, uses behavioural type theory as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, contracts, and choreography. Main persons involved: Bravetti, Giachino, Hirschkoff, Lanese, Laneve, Mauro, Sangiorgi, Zavattaro.

Collaborations with Major European Organizations

Simone Martini is a member of the Executive Board of EQANIE (European Quality Assurance Network for Informatics Education), from October 2014.

We list here the cooperations and contacts with other groups, without repeating those already listed in previous sections.

• ENS Lyon (on concurrency models and resource control). Contact person(s) in Focus: Dal Lago, Martini, Sangiorgi, Vignudelli. Some visit exchanges during the year, in both directions. One joint PhD supervision (J.-M. Madiot).

• Inria EPI Spades (on models and languages for components, reversibility). Contact person(s) in Focus: Lanese. Some visit exchanges during the year, in both directions.

• Laboratoire d'Informatique, Université Paris Nord, Villetaneuse (on implicit computational complexity). Contact person(s) in Focus: Dal Lago, Martini. An Italian PhD student (Marco Solieri) is working on his PhD thesis with joint supervision (Martini, Guerrini).

• Institut de Mathématiques de Luminy, Marseille (on lambda-calculi, linear logic and semantics). Contact person(s) in Focus: Dal Lago, Martini. One joint PhD supervision (Michele Alberti).

• Team PPS, University of Paris-Diderot Paris 7 (on logics for processes, resource control). Contact person(s) in Focus: Dal Lago, Martini, Sangiorgi. Some short visits in both directions during the year.

• IRILL Lab, Paris (on models for the representation of dependencies in distributed package based software distributions). Contact person(s) in Focus: Mauro, Zavattaro. Some short visits in both directions during the year.

• EPI Carte, Inria-Nancy Grand Est and LORIA (on implicit computational complexity). Contact person(s) in Focus: Dal Lago.

• LMU Munich (M. Hofmann) (on Implicit computational complexity and IntML). Contact person(s) in Focus: Dal Lago.

• IMDEA Software, Madrid (G. Barthe) (on Implicit computational complexity for cryptography). Contact person(s) in Focus: Dal Lago,Sangiorgi. Some visits during 2014.

• Facultad de Informatica, Universidad Complutense de Madrid (on web services). Contact person(s) in Focus: Bravetti. Bravetti is an external collaborator in the project “ESTuDIo: ESpecificacion y Testing de sistemas altamente DIstribuidos” (Specification and Testing of Highly Distributed Systems) January 1, 2013 - December 31, 2015 (3 years), funded by the Spanish Ministerio de Economia y Competitividad.